Continous Lattices in Formal Topology
نویسنده
چکیده
A representation of continuous and prime-continuous lattices via formal topology is found. This representation stems from special examples of formal topologies in constructive analysis that give rise to the definition of the classes of locally Stone and locally Scott formal topologies. As an application, a representation theorem for locally compact spaces is obtained.
منابع مشابه
On generalized topological molecular lattices
In this paper, we introduce the concept of the generalized topological molecular lattices as a generalization of Wang's topological molecular lattices, topological spaces, fuzzy topological spaces, L-fuzzy topological spaces and soft topological spaces. Topological molecular lattices were defined by closed elements, but in this new structure we present the concept of the open elements and defi...
متن کاملSome results about unbounded convergences in Banach lattices
Suppose E is a Banach lattice. A net in E is said to be unbounded absolute weak convergent ( uaw-convergent, for short) to provided that the net convergences to zero, weakly. In this note, we further investigate unbounded absolute weak convergence in E. We show that this convergence is stable under passing to and from ideals and sublattices. Compatible with un-convergenc, we show that ...
متن کاملFUZZY PREORDERED SET, FUZZY TOPOLOGY AND FUZZY AUTOMATON BASED ON GENERALIZED RESIDUATED LATTICE
This work is towards the study of the relationship between fuzzy preordered sets and Alexandrov (left/right) fuzzy topologies based on generalized residuated lattices here the fuzzy sets are equipped with generalized residuated lattice in which the commutative property doesn't hold. Further, the obtained results are used in the study of fuzzy automata theory.
متن کاملCategories of fuzzy topology in the context of graded ditopologies on textures
This paper extends the notion of ditopology to the case where openness and closedness are given in terms of {em a priori} unrelated Drading functions. The resulting notion of graded ditopology is considered both in the setting of lattices and in that textures, the relation between the two approaches being discussed in detail. Interrelations between graded ditopologies and ditopologies on textur...
متن کاملA Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured...
متن کامل